2387 , aug . 2002 , pp . 181 - 190 . 14 aho a v , hopcroft j e et al . , ullman j d . the design and analysis of computer algorithms 我们的算法在选路的策略上采用了中右左的优先次序对原有的逻辑列进行校正。
6 clarke e m , emerson e a , sistla a p . automatic verification of finite - state concurrent systems using temporal logic specifications . acm transactions on programming languages and systems , 1986 , 8 : 244 - 263 . 7 aho a v , hopcroft j e , ullman j d . the design and analysis of computer algorithms Model checking过去主要是作为一种验证技术被广为使用的,本文作者通过对dmc以及后续工程项目的研究发现, model checking完全可以作为一种计算技术被广泛使用,就相当于已经成为经典编译技术yacc在软件开发的各个层面上被广泛使用一样。